Many-Objective Test Suite Generation for Software Product Lines

Many Independent Objective (MIO) Algorithm for Test Suite Generation

Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines

Software testing is still the most established and scalable quality-assurance technique in practice. However, generating effective test suites remains computationally expensive, consisting of repetitive reachability analyses for multiple test goals according to a coverage criterion. This situation is even worse when testing entire software product lines, i.e., families of similar program varian...

On facilitating reuse in multi-goal test-suite generation for software product lines

Software testing is still the most established and scalable quality-assurance technique in practice today. However, generating effective test suites remains computationally expensive, consisting of repetitive reachability analyses for multiple test goals according to a coverage criterion. This situation is even worse when it comes to testing of entire software product lines (SPL). An SPL consis...

Spinal Test Suites for Software Product Lines

A major challenge in testing software product lines is efficiency. In particular, testing a product line should take less effort than testing each and every product individually. We address this issue in the context of input-output conformance testing, which is a formal theory of model-based testing. We extend the notion of conformance testing on input-output featured transition systems with th...

Reusing State Machines for Automatic Test Generation in Product Lines

In this paper, we deal with the reuse of state machines for automatic test case generation in the context of product lines. We consider a corresponding approach of the Object Management Group and introduce our own approach to reuse state machines. We use OCL expressions to automatically derive test suites. All explanations are supported by the example of a car audio system.